Uses of Class
edu.uky.ai.lp.logic.Rule

Packages that use Rule

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Rule in edu.uky.ai.lp.logic

Fields in edu.uky.ai.lp.logic with type parameters of type Rule

Modifier and Type	Field	Description
java.lang.Iterable<Rule>	KnowledgeBase.rules	All the rules in this knowledge base

Methods in edu.uky.ai.lp.logic with parameters of type Rule

Modifier and Type	Method	Description
void	KnowledgeBase.addRule(Rule rule)	Adds a new rule to the knowledge base.

Constructors in edu.uky.ai.lp.logic with parameters of type Rule

Constructor	Description
KnowledgeBase(Rule[] rules, Fact[] facts)	Constructs a new knowledge base with the given rules and facts.